Works by Carlos Augusto Di Prisco

( view other items matching `Carlos Augusto Di Prisco`, view all matches )
4 found
Order:
  1.  29
    Some results on polarized partion relations of higher dimension.Walter Alexandre Carnielli & Carlos Augusto Di Prisco - 1993 - Mathematical Logic Quarterly 39 (1):461-474.
    Several types of polarized partition relations are considered. In particular we deal with partitions defined on cartesian products of more than two factors. MSC: 03E05.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Set Theory: Techniques and Applications.Carlos Augusto Di Prisco, Jean A. Larson, Joan Bagaria & A. R. D. Mathias - 2000 - Studia Logica 66 (3):426-428.
     
    Export citation  
     
    Bookmark  
  3.  21
    Some Aspects of the Ramsey Theory of Real Numbers. [REVIEW]Carlos Augusto Di Prisco - 2015 - In Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés Villaveces, Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 115-138.
    $142.78 new   $149.75 used   (collection)    View on Amazon.com
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  59
    Richard L. Epstein and Walter A. Carnielli. Computability. Computable functions, logic, and the foundations of mathematics. The Wadsworth & Brooks/Cole mathematics series. Wadsworth&Brooks/Cole Advanced Books & Software, Pacific Grove, Calif., 1989, xvii + 297 pp. - Richard L. Epstein and Walter A. Carnielli. Computability. Computable functions, logic, and the foundations of mathematics. Second edition of the preceding. Wadsworth, Belmont, Calif., etc., 2000, xii + 299 + 38 pp. [REVIEW]Carlos Augusto di Prisco - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark